NOTES ON TIlE DESIGN OF EUCLID
نویسندگان
چکیده
Euclid is a language for writing system programs that are to be verified. We believe that verification and reliability are closely related, because if it is hard to reason about programs using a language feature, it will be diff icult to write programs that use it properly. This pape, discusses a number of issues in the design of Euclid, including such topics as the scope of names, aliasing, modules, type-checking, and the confinement of machine dependencies; it gives some of the reasons for our expectation t~at programming in Euclid will be more reliable (and will produce more reliable programs) than programming in Pascal, on which Euclid is based.
منابع مشابه
سیر تحول نقوش انسانی در کاشی‌کاری حمام‌های تاریخی شهر اصفهان از دوره صفوی تا پایان دوره قاجار
The bathrooms were assumed as locations for presence of various classes of society in the past time and walls of baths were decorated with motley tiles and various designs. The human designs drawn on these tiles are deemed as one of the most conspicuous elements that reflect social, cultural, and artistic conditions in community These motifs with various themes and ways of different design had ...
متن کاملSingle-Port Laparoscopy, NOTES, and Endoluminal Surgery
1Minimally Invasive Surgery and Robotics-Section of Gynecologic Oncology, Cleveland Clinic, A81, 9500 Euclid Avenue, Cleveland, OH 44195, USA 2Center for Laparoscopic and Robotic Surgery, Glickman Urological and Kidney Institute, Cleveland Clinic, Q10-1, 9500 Euclid Avenue, Cleveland, OH 44195, USA 3Department of Colorectal Surgery, Cleveland Clinic, A30, 9500 Euclid Avenuenue, Cleveland, OH 44...
متن کاملThe principles of traditional designing dominant on carpet and tile designing and Islamic architecture
The feature of decorating curves in Iranian arts, paintings, illumination, cover decorating, Engraving Carving Sudoriferous Cloth carpet and several decorations related to architecture including tile, stucco have principles and features of traditional designing. Several types of figures of Khatayi and Ieslimi and their roles in combination and space besides having principles in proportion to gr...
متن کاملTiling a Triangle with Congruent Triangles
We investigate the problem of cutting a triangle ABC into N congruent triangles (the “tiles”), which may or may not be similar to ABC. We wish to characterize the numbers N for which some triangle ABC can be tiled by N tiles, or more generally to characterize the triples (N,T ) such that ABC can be N-tiled using tile T . In the first part of the paper we exhibit certain families of tilings whic...
متن کاملRheological properties of self-consolidating concrete made by crushed waste tile aggregates
In recent decades, the use of self-consolidating concrete has become widespread. Hence, recognizing the various properties of self-consolidating concrete are essential. In this study, several mixture designs have been tested and final mixture design of crushed tile aggregates which were replaced by 0%, 25 %, 50%, and 100% volume percentage of natural aggregates were conducted. To evaluate fresh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001